#ifndef _KTYPE_H
#define _KTYPE_H

typedef unsigned long uint64;

#endif
